翻訳と辞書 Words near each other ・ Freezing rain ・ Freezing rain advisory ・ Freezing spray advisory ・ Freezing toilet ・ Freezing tolerance ・ Freezing Works Railway Station ・ Freezing-point depression ・ Freezland Rock ・ Freezy Freakies ・ Freezywater ・ Fregat ・ Fregattenkapitän ・ Fregattenleutnant ・ Frege (programming language) ・ Frege system ・ Frege's propositional calculus ・ Frege's Puzzle ・ Frege's theorem ・ Fregella ・ Fregellae ・ Fregenae ・ Fregenal de la Sierra ・ Fregenia ・ Fregetta ・ Frege–Church ontology ・ Freginals ・ Fregiécourt ・ Fregola (film) ・ Fregoli delusion ・ Fregolia Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク Frege's propositional calculus ： ウィキペディア英語版 Frege's propositional calculus In mathematical logic Frege's propositional calculus was the first axiomatization of propositional calculus. It was invented by Gottlob Frege, who also invented predicate calculus, in 1879 as part of his second-order predicate calculus (although Charles Peirce was the first to use the term "second-order" and developed his own version of the predicate calculus independently of Frege). It makes use of just two logical operators: implication and negation, and it is constituted by six axioms and one inference rule: modus ponens. Axioms ''THEN-1:'' 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Frege's propositional calculus」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.